Verified Adapters